- semantic procedure
- 语义过程
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
semantic procedure
Look at other dictionaries:
Semantic Information Retrieval — Principaux projets et réalisations en intelligence artificielle Cette liste indique les principaux projets et réalisations marquants dans le domaine de l’intelligence artificielle. La quasi totalité de ces travaux ont été accomplis aux États Unis … Wikipédia en Français
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
Music-related memory — Musical memory refers to the ability to remember music related information, such as melodic content and other progressions of tones or pitches. The differences found between linguistic memory and musical memory have led researchers to theorize… … Wikipedia
aesthetics — /es thet iks/ or, esp. Brit., /ees /, n. (used with a sing. v.) 1. the branch of philosophy dealing with such notions as the beautiful, the ugly, the sublime, the comic, etc., as applicable to the fine arts, with a view to establishing the… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Neuro emotional technique — NET Neuro Emotional Technique (NET) is an innovative, mind body, stress reduction intervention that helps resolve dysfunctional psychophysiological states called neuro emotional complexes (NEC’s). NEC’s originate in past anxiety arousing events… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy
semantics — semanticist /si man teuh sist/, semantician /see man tish euhn/, n. /si man tiks/, n. (used with a sing. v.) 1. Ling. a. the study of meaning. b. the study of linguistic development by classifying and examining changes in meaning and form. 2.… … Universalium
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Glossary of ancient Roman religion — This is an incomplete list, which may never be able to satisfy particular standards for completeness. You can help by expanding it with reliably sourced entries. Ancient Roman religion … Wikipedia
